[计]时序语义学;
Denotational semantics describes the semantics of a programming language in afunctional way, but the first-order temporal logic expresses the semantics of a prog-ramming language in a logical way.
指称语义学是以函数的形式来表达程序的语义,一阶时态逻辑是以逻辑方式表达程序的语义。
A STRUCTURAL APPROACH TO TEMPORAL SEMANTICS Methods The 15 soldiers selected through a hierarchical sampling method were treated by an un-structured interview.
方法采用分层随机取样法对抽取的15名陆军军人进行结构式访谈。
A study of the implicit memory of temporal qualifier semantics
时间修饰词内隐记忆的实验研究
On the other hand, a universal calculation method of the temporal semantics provided in this paper can localize the descriptions of temporal in all languages into the temporal axis.
同时,本文提供通用的时间语义计算方法,将各语言的时间描述映射到时间轴上。
A temporal semantics for Occam
Occam语言的时态语义
A Temporal Logic Semantics for UML Activity Diagrams
UML活动图的时序逻辑语义
Analysis and Inference of Chinese Temporal Semantics
汉语时间语义分析及推理
Chinese Temporal Semantics Analysis Based on Ontology
基于Ontology的汉语时间语义分析
简答网 · 双语娱乐资讯
简答网 · 高考英语
简答网 · 中考英语